Remainder Theorem for CAT 2018